3 N ov 2 01 5 L . E . J . Brouwer ’ s ‘ Unreliability of the logical principles ’ . A new translation , with an introduction
نویسندگان
چکیده
We present a new English translation of L.E.J. Brouwer’s paper ‘De onbetrouwbaarheid der logische principes’ (The unreliability of the logical principles) of 1908, together with a philosophical and historical introduction. In this paper Brouwer for the first time objected to the idea that the Principle of the Excluded Middle is valid. We discuss the circumstances under which the manuscript was submitted and accepted, Brouwer’s ideas on the principle of the excluded middle, its consistency and partial validity, and his argument against the possibility of absolutely undecidable propositions. We note that principled objections to the general excluded middle similar to Brouwer’s had been advanced in print by Jules Molk two years before. Finally, we discuss the influence on George Griss’ negationless mathematics. keywords: Luitzen Egbertus Jan Brouwer, George Griss, intuitionism, Jules Molk, principle of the excluded middle 1 Rationale for this translation In his seminal paper ‘The unreliability of the logical principles’ (1908b), Brouwer draws for the first time the revisionistic consequences of the general view on logic that he had presented in his dissertation (Brouwer, 1907, pp. 125–132), by rejecting the principle of excluded middle. The paper appeared in Dutch; Brouwer’s first published remarks in more widely read languages on the unreliability of the principle SND (CNRS/Paris 4), 28 rue Serpente, 75006 Paris, France. [email protected] Philosophical Institute, Leiden University, P.O. Box 2315, 2300 RA Leiden, The Netherlands. [email protected]
منابع مشابه
An analog of Titchmarsh's theorem for the Bessel transform in the space $mathrm{L}_{p,alpha}(mathbb{R}_{+})$
Using a Bessel generalized translation, we obtain an analog of Titchmarsh's theorem for the Bessel transform for functions satisfying the Lipschitz condition in the space $mathrm{L}_{p,alpha}(mathbb{R}_{+})$, where $alpha>-frac{1}{2}$ and $1
متن کاملar X iv : 1 50 9 . 01 22 3 v 2 [ he p - ex ] 1 1 N ov 2 01 5 A test of electric charge conservation with Borexino
M. Agostini, S. Appel, G. Bellini, J. Benziger, D. Bick, G. Bonfini , D. Bravo, B. Caccianiga, F. Calaprice, A. Caminata, P. Cavalcante, A. Chepurnov, D. D’Angelo, S. Davini, A. Derbin, L. Di Noto, I. Drachnev, A. Empl, A. Etenko, K. Fomenko, D. Franco, F. Gabriele, C. Galbiati, C. Ghiano, M. Giammarchi, M. Goeger-Neff, A. Goretti, M. Gromov, C. Hagner, E. Hungerford, Aldo Ianni, Andrea Ianni, ...
متن کاملA duality between LM-fuzzy possibility computations and their logical semantics
Let X be a dcpo and let L be a complete lattice. The family σL(X) of all Scott continuous mappings from X to L is a complete lattice under pointwise order, we call it the L-fuzzy Scott structure on X. Let E be a dcpo. A mapping g : σL(E) −> M is called an LM-fuzzy possibility valuation of E if it preserves arbitrary unions. Denote by πLM(E) the set of all LM-fuzzy possibility valuations of E. T...
متن کاملEvaluation of Midwifery Student's Attitude, Performance and Satisfaction from teaching clinical skills with the Video in Hamedan School of Nursing and Midwifery (2019)
1. Duncan I, Yarwood-Ross L, Haigh C..YouTube as a source of clinical skills education. Nurse Eduction. .2013; 33 (12): 1576–1580 2. Arguel ., Jamet E. Using video and static pictures to improve learning of procedural contents.Comput. Hum. Behav.2008; 25 (2):354–359. 3. Johnson N, List-Ivankovic J, Eboh W, Ireland ., Adams D, Mowatt E, Martindale S. Research and evidence based pra...
متن کاملThe intended interpretation of intuitionistic logic
We present an overview of the unintended interpretations of intuitionistic logic that arose after Heyting formalized the “observed regularities” in the use of formal parts of language, in particular, first-order logic and Heyting Arithmetic. We include unintended interpretations of some mild variations on “official” intuitionism, such as intuitionistic type theories with full comprehension and ...
متن کامل